1. Algorithms and complexity in mathematics, epistemology, and science :
پدیدآورنده : editors, Ncolas Fillion, Robert M. Corless and Ilias S. Kotsireas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms, Congresses.,Complexity (Philosophy), Congresses.,Mathematics, Congresses.,Science-- Mathematics, Congresses.,Technological complexity, Congresses.,Algorithms.,Complexity (Philosophy),MATHEMATICS-- Numerical Analysis.,Mathematics.,Science-- Mathematics.,Technological complexity.
رده :
QA9
.
58
2. Aspects of mathematical logic
پدیدآورنده : / edited by E. Casari
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
رده :
QA9
.
A1C56
2010
3. Cultures of Mathematics and Logic
پدیدآورنده : \ Edited by Shier Ju...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- History -- Congresses.,Mathematics -- Philosophy -- Congresses.,ریاضیات -- تاریخ -- کنگره ها,ریاضیات -- فلسفه -- کنگره ها
رده :
E-Book
,
4. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
.
G6
1996a
5. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1L44
Vol
.
6
6. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
پدیدآورنده : Petr Hajek )ed.(
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
رده :
QA
9
.
A1
G6
1996
7. History and philosophy of modern mathematics
پدیدآورنده : edited by William Aspray and Philip Kitcher
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : History Congresses ، Mathematics,Philosophy Congresses ، Mathematics
رده :
Q175
.
M64
vol
.
11
QA26
8. History and philosophy of modern mathematics
پدیدآورنده : / edited by William Aspray and Philip Kitcher
کتابخانه: كتابخانه مركزی دانشگاه علوم بهزیستی و توانبخشی (طهران)
موضوع : Mathematics--History--Congresses,Mathematics--Philosophy--Congresses
رده :
Q175
.
M64
1988
9. History of the mathematical sciences
پدیدآورنده : chief editor, Ivor Grattan-Guinness ; executive editor, B.S. Yadav
کتابخانه: المکتبۀ المرکزیۀ ومرکز التوثیق (سمنان)
موضوع : Congresses ، Mathematics - History,Congresses ، Mathematics - Philosophy
رده :
QA
21
.
I57
2004
10. History of the mathematical sciences
پدیدآورنده : chief editor, Ivor Grattan-Guinness; executive editor, B. S. Yadav
کتابخانه: (طهران)
موضوع : History -- Congresses ، Mathematics,Congresses ، Mathematics -- Philosophy
رده :
QA
21
.
H58
11. Infinitesimal differences :
پدیدآورنده : edited by Ursula Goldenbaum and Douglas Jesseph.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Leibniz, Gottfried Wilhelm,1646-1716-- Criticism and interpretation,Leibniz, Gottfried Wilhelm,1646-1716.,Mathematics-- Philosophy, Congresses.,Physics-- Philosophy, Congresses.,Filosofische aspecten.,Infinitesimaalrekening.,Infinitesimalrechnung,Mathematics-- Philosophy.,PHILOSOPHY-- History & Surveys-- Modern.,Physics-- Philosophy.
رده :
B2598
.
I54
2008eb
12. L'espace physique entre mathématiques et philosophie
پدیدآورنده : coordonné par Marc Lachièze-Rey.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics-- Philosophy, Congresses.,Space and time-- Philosophy, Congresses.,Space-- Philosophy, Congresses.
13. Logic, methodology, and philosophy of science VIII
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Science ; Philosophy ; Congresses. ; Science ; Methodology ; Congresses. ; Logic ; Congresses. ; Mathematics ; Philosophy ; Congresses. ;
14. Logic, methodology, and philosophy of science VIII :
پدیدآورنده : edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic-- Congresses,Mathematics-- Philosophy-- Congresses,Science-- Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
Q174
.
I58
1987
15. Logic, methodology and philosophy of science VIII : Proceedings of the International Congress of Logic, Methodology and Philosophy of Science, Moscow 1987
پدیدآورنده : edited by Jens Erik Fenstad, Ivan T. Frolov, Risto Hilpinen
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic,Congresses ، Mathematics -- Philosophy
رده :
Q
174
.
I58
1987
16. New Perspectives on Mathematical Practices
پدیدآورنده : \ edited by Bart van Kerkhove.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Mathematics -- Philosophy -- Congresses.,Mathematics -- History -- Congresses.,ریاضیات -- فلسفه -- کنگره ها,ریاضیات -- تاریخ -- کنگره ها
رده :
E-Book
,
17. Physicalism in mathematics
پدیدآورنده : edited by A.D. Irvine
کتابخانه: (طهران)
موضوع : Congresses ، Mathematics -- Philosophy
رده :
QA
8
.
P48
1990
18. Problems in the philosophy of mathematics : proceedings of the International Colloquium in the Philosophy of Science, London, 1965, Volume. 1
پدیدآورنده : edited by Imre Lakatos
کتابخانه: (طهران)
موضوع : Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
I58
1965
19. Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
پدیدآورنده : edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy
رده :
QA
9
.
A1L44
Vol
.
15
20. Research in History and Philosophy of Mathematics
پدیدآورنده : \ Maria Zack, Elaine Landry Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Canadian Society for the History and Philosophy of Mathematics -- Congresses.,Canadian Society for the History and Philosophy of Mathematics,Mathematics -- History -- Congresses.,ریاضیات -- تاریخ -- کنگره ها
رده :
QA
27
.
R4
2015
E-Book
,